1. Algebraic specification techniques and tools for software development : the ACT approach
پدیدآورنده : Classen, Ingo.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Development , Compilers )Computer programs(
رده :
QA
76
.
76
.
D47
C57
1993
2. Algebraic specification techniques and tools for software development: the ACT approach
پدیدآورنده : Classen, Ingo,Ingo Claszen, Hartmut Ehrig, Dietmar Wolz
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer software- Development,، Compilers )Computer programs(
رده :
QA
76
.
76
.
D47
C57
1993
3. Algebraic specification techniques and tools for software development : the ACT approach
پدیدآورنده : Classen, Ingo.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development,، Compilers )Computer programs(
رده :
QA
76
.
76
.
D47
.
C57
1993